V glavakh kollektivnoi| monografii predstavleny kont︠s︡eptualʹnye razrabotki problem, znachimykh dli︠a︡ filosofii nachala novogo stoletii︠a︡. Ėtot krug problem okhvatyvaet vse oblasti sovremennoi| filosofii--ot ontologii i filosofii nauki do filosofii logiki i politiki. Sovremennye ot︠s︡enki i razvitie poluchai︠u︡t idei analiticheskoi| filosofii, ėkzistent︠s︡ializma, fenomenologii, strukturalizma s ikh orientat︠s︡iei| na prikladnye sfery. Kniga adresovana kak spet︠s︡ialistam, tak i vsem tem, kto proi︠a︡vli︠a︡et interes k sostoi︠a︡nii︠u︡ i problematike sovremennoi| otechestvennoĭ filosofii.

In recent years there has been a boom in the study of the Yi Jing (the Book of Changes) and ancient Chinese forms of physical exercise in European countries such as Germany, Belgium and France, with research themes focusing on psychotherapeutic and medical clinical experimental studies, such as a study conducted at the Institute of Psychology at the University of Tübingen in Germany that emphasised that moderate general physiological activation, exercise-dependent regulation of the heart rhythm ANS can induce a typical (...) state of calm to regulate Qi. There are few theoretical studies on the metaphysical aspects of the existence of such healthful and beneficial underlying psychophysiological mechanisms of mind-body exercise Florens（2021）, so this paper chooses to use the practice of Qi as a case study, where Qi practice refers to the classical and systematic use in Chinese martial arts’ internal styles and systems such as Taijiquan (Taichi), Qigong and shaolinquan(Shaolin Boxing). A primarily documentary research approach is adopted, this paper using classical theories from the Yi Jing to analyse a metaphysical analysis of the physical exercises associated with Qi. The conclusions of the study show that: Firstly, Chinese traditional methods and practical experience can be drawn upon. Secondly, the classical theory of the Yi Jing, which uses Qi as the core of practice, enriches the ontology of human life perception in the field of philosophy. Thirdly, the ultimate pursuit of life through the practice of Qi is a concrete manifestation of the metaphysical holistic view of life in traditional Chinese physical exercises. (shrink)

The spiritual geography of Russian cosmism. General characteristics ; Recent definitions of cosmism -- Forerunners of Russian cosmism. Vasily Nazarovich Karazin (1773-1842) ; Alexander Nikolaevich Radishchev (1749-1802) ; Poets: Mikhail Vasilyevich Lomonosov, (1711-1765) and Gavriila Romanovich Derzhavin (1743-1816) ; Prince Vladimir Fedorovich Odoevsky (1803-1869) ; Aleksander Vasilyevich Sukhovo-Kobylin (1817-1903) -- The Russian philosophical context. Philosophy as a passion ; The destiny of Russia ; Thought as a call for action ; The totalitarian cast of mind -- The religious and spiritual (...) context. The kingdom of god on earth ; Hesychasm: two great Russian saints ; The Third Rome ; Pre-Christian antecedents -- The Russian esoteric context. Early searches for "deep wisdom" ; Popular magic ; Higher magic in the time of Peter the Great ; Esotericism after Peter the Great ; Theosophy and anthroposophy -- Nikolai Fedorovich Fedorov (1829-1903), the philosopher of the common task ; The one idea ; The unacknowledged prince ; The village teacher ; First disciple: Dostoevsky and Tolstoy ; The Moscow librarian ; Last years: Askhabad: the only portrait -- The "common task" ; Esoteric dimensions of the "common task" ; Fedorov's legacy: projectivism, delo, regulation -- The religious cosmists. Vladimir Sergeevich Solovyov (1853-1900) ; Sergei Nikolaevich Bulgakov (1871-1944) ; Pavel Aleksandrovich Florensky (1882-1937) ; Nikolai Aleksandrovich Berdyaev (1874-1948) -- The scientific cosmists. Konstantin Edouardovich Tsiolkovsky (1857-1935) ; Vladimir Ivanovich Vernadsky (1863-1945) ; Alexander Leonidovich Chizhevsky (1897-1964) ; Vasily Feofilovich Kuprevich (1897-1969) -- Promethean theurgy. Life-creation ; Cultural immortalism ; God-building ; Re-aiming the arrows of Eros ; Technological utopianism ; Occultism -- Fedorov's twentieth century followers. Nikolai Pavlovich Peterson (1844-1919) and Vladimir Aleksandrovich Kozhevnikov (1852-1917) ; Svyatogor and the biocosmists ; New wine and the universal task ; Alexander Konstantinovich Gorsky (1886-1943) and Nikolai Alexandrovich Setnitsky (1888-1937) ; Valerian Nikolaevich Muravyov (1885-1932) ; Vasily Nikolaevich Chekrygin (1897-1922) -- Cosmism and its offshoots today. The N.F. Fedorov museum-library ; The Tsiolkovsky museum and Chizhevsky center ; ISRICA - Institute for Scientific Research in Cosmic Anthropoecology ; Lev Nikolaevich Gumilev (1912-1992) and neo-eurasianism ; The hyperboreans ; Scientific immortalism: Igor Vishev, Danila Medvedev ; Conclusions about the Russian cosmists. (shrink)

In 1933 Godel introduced a calculus of provability (also known as modal logic S4) and left open the question of its exact intended semantics. In this paper we give a solution to this problem. We find the logic LP of propositions and proofs and show that Godel's provability calculus is nothing but the forgetful projection of LP. This also achieves Godel's objective of defining intuitionistic propositional logic Int via classical proofs and provides a Brouwer-Heyting-Kolmogorov style provability semantics for Int which (...) resisted formalization since the early 1930s. LP may be regarded as a unified underlying structure for intuitionistic, modal logics, typed combinatory logic and λ-calculus. (shrink)

Книга адресована психоаналитикам, психологам, психотерапевтам, философам, педагогам, студентам и всем работникам "помогающих" профессий.

The relationships between various modal logics based on Belnap and Dunn’s paraconsistent four-valued logic FDE are investigated. It is shown that the paraconsistent modal logic \, which lacks a primitive possibility operator \, is definitionally equivalent with the logic \, which has both \ and \ as primitive modalities. Next, a tableau calculus for the paraconsistent modal logic KN4 introduced by L. Goble is defined and used to show that KN4 is definitionally equivalent with \ without the absurdity constant. Moreover, (...) a tableau calculus is defined for the modal bilattice logic MBL introduced and investigated by A. Jung, U. Rivieccio, and R. Jansana. MBL is a generalization of BK that in its Kripke semantics makes use of a four-valued accessibility relation. It is shown that MBL can be faithfully embedded into the bimodal logic \ over the non-modal vocabulary of MBL. On the way from \ to MBL, the Fischer Servi-style modal logic \ is defined as the set of all modal formulas valid under a modified standard translation into first-order FDE, and \ is shown to be characterized by the class of all models for \. Moreover, \ is axiomatized and this axiom system is proved to be strongly sound and complete with respect to the class of models for \. Moreover, the notion of definitional equivalence is suitably weakened, so as to show that \ and \ are weakly definitionally equivalent. (shrink)

We compare the logic HYPE recently suggested by H. Leitgeb as a basic propositional logic to deal with hyperintensional contexts and Heyting-Ockham logic introduced in the course of studying logical aspects of the well-founded semantics for logic programs with negation. The semantics of Heyting-Ockham logic makes use of the so-called Routley star negation. It is shown how the Routley star negation can be obtained from Dimiter Vakarelov’s theory of negation and that propositional HYPE coincides with the logic characterized by the (...) class of all involutive Routley star information frames. This result provides a much simplified semantics for HYPE and also a simplified axiomatization, which shows that HYPE is identical with the modal symmetric propositional calculus introduced by G. Moisil in 1942. Moreover, it is shown that HYPE can be faithfully embedded into a normal bi-modal logic based on classical logic. Against this background, we discuss the notion of hyperintensionality. (shrink)

This work treats the problem of axiomatizing the truth and falsity consequence relations, ⊨ t and ⊨ f, determined via truth and falsity orderings on the trilattice SIXTEEN 3 (Shramko and Wansing, 2005). The approach is based on a representation of SIXTEEN 3 as a twist-structure over the two-element Boolean algebra.

While Foucault’s work on biopolitics continues to inspire diverse studies in a variety of disciplines, it has largely been missing from the debates on the possibility of “affirmative biopolitics” which have been primarily influenced by the work of Agamben and Esposito. This article restores Foucault’s work to these debates, proposing that his final lecture course at the Collège de France in 1983–1984 developed a paradigm of affirmative biopolitics in the reading of the Cynic practice of truth-telling ( parrhesia). The Cynic (...) problematization of the relation between truth and life and their transvaluation of conventional truths by relocating them to the domain of bare life not only seeks to transform one’s life in accordance with the truth but also, through the confrontation with the existing conventions and norms, to transform the world as such. Cynic parrhesia is thus biopolitical, insofar as it reclaims the power of one’s life from the social order and its rationalities of government and applies it to oneself, investing one’s existence with truth. Since Foucault developed this reading of Cynicism in the context of his political engagement on behalf on East European dissidents, the article proceeds to analyse the resonances between parrhesia and Václav Havel’s idea of “living within the truth,” elaborating the biopolitical significance of both practices. We conclude by addressing the implications of our interpretation for Foucault scholarship and the wider debates on biopolitics. (shrink)

N4-lattices provide algebraic semantics for the logic N4, the paraconsistent variant of Nelson's logic with strong negation. We obtain the representation of N4-lattices showing that the structure of an arbitrary N4-lattice is completely determined by a suitable implicative lattice with distinguished filter and ideal. We introduce also special filters on N4-lattices and prove that special filters are exactly kernels of homomorphisms. Criteria of embeddability and to be a homomorphic image are obtained for N4-lattices in terms of the above mentioned representation. (...) Finally, subdirectly irreducible N4-lattices are described. (shrink)

We outline an intuitionistic view of knowledge which maintains the original Brouwer–Heyting–Kolmogorov semantics for intuitionism and is consistent with the well-known approach that intuitionistic knowledge be regarded as the result of verification. We argue that on this view coreflectionA→KAis valid and the factivity of knowledge holds in the formKA→ ¬¬A‘known propositions cannot be false’.We show that the traditional form of factivityKA→Ais a distinctly classical principle which, liketertium non datur A∨ ¬A, does not hold intuitionistically, but, along with the whole of (...) classical epistemic logic, is intuitionistically valid in its double negation form ¬¬(KA¬A).Within the intuitionistic epistemic framework the knowability paradox is resolved in a constructive manner. We argue that this paradox is the result of an unwarranted classical reading of constructive principles and as such does not have the consequences for constructive foundations traditionally attributed it. (shrink)

Стаття присвячена темі ролі любовної прихильності в соціальному житті тварин і людини. Звертається увага на значущість емпатії серед деяких видів моногамних ссавців, яка зіграла важливу роль у розвитку любовних стосунків. Розглядається гіпотеза антрополога Оуена Лавджоя, згідно з якою любов і турбота зіграли винятково важливу роль в еволюції ранніх гомінідів, що стало можливою причиною редукції ікл, прихованої овуляції, розвитку двоногості та збільшення обсягу мозку. Іншими словами, сімейні стосунки древніх ардипітеків виявляються ключем до розуміння еволюції Homo sapiens. Аналізується гіпотеза Чорної Королеви, яка (...) пропонує одне з пояснень популярності статевого розмноження серед еукаріотичних організмів. (shrink)

In 1900 David Hilbert announced his famous list of then-opened mathematical problems; the problem number 6 in this list is axiomatization of physical theories. Since then a lot of systematic efforts have been invested into solving this problem. However the results of these efforts turned to be less successful than the early enthusiasts of axiomatic method expected. The existing axiomatizations of physical and biological theories provide a valuable logical analysis of these theories but they do not constitute anything like their (...) standard presentation,which can be used for transmission, evaluation, and justification of physical and biological knowledge. This state of theart in the axiomatization of physics is strong evidence that the standard notion of axiomatic theory stemming from Hilbert and Tarski is not appropriate for thet ask. However in the recent years in mathematics there emerged a new axiomatic approach best represented by the Homotopy Type theory (HoTT). We argue that the constructive axiomatic architecture used in HoTT has better chances to be successfully applied in physics as well as in computer science and engineering. (shrink)

Here is an account of recent investigations into the two main concepts of negation developed in the constructive logic: the negation as reduction to absurdity, and the strong negation. These concepts are studied in the setting of paraconsistent logic.

Let K be the least normal modal logic and BK its Belnapian version, which enriches K with ‘strong negation’. We carry out a systematic study of the lattice of logics containing BK based on: • introducing the classes of so-called explosive, complete and classical Belnapian modal logics; • assigning to every normal modal logic three special conservative extensions in these classes; • associating with every Belnapian modal logic its explosive, complete and classical counterparts. We investigate the relationships between special extensions (...) and counterparts, provide certain handy characterisations and suggest a useful decomposition of the lattice of logics containing BK. (shrink)

We describe a general logical framework, Justification Logic, for reasoning about epistemic justification. Justification Logic is based on classical propositional logic augmented by justification assertions t: F that read t is a justification for F. Justification Logic absorbs basic principles originating from both mainstream epistemology and the mathematical theory of proofs. It contributes to the studies of the well-known Justified True Belief vs. Knowledge problem. We state a general Correspondence Theorem showing that behind each epistemic modal logic, there is a (...) robust system of justifications. This renders a new, evidence-based foundation for epistemic logic. As a case study, we offer a resolution of the GoldmanRed Barns in Justification Logic. Furthermore, we formalize the well-known Gettier example and reveal hidden assumptions and redundancies in Gettier’s reasoning. (shrink)

This article addresses the relationship between ontology and politics in Jean-Luc Nancy’s theory of democracy by probing the implications of his latest ontological innovation, the concept of struction. We argue that Nancy’s democracy is a mode of politics that makes the radical pluralism of struction legitimate, opening and guarding a political space for the coexistence of the incommensurable. From this perspective, and despite Nancy’s own skepticism about the concept of biopolitics, the notion of struction opens a pathway for theorizing democracy (...) in a biopolitical key as the regime of coexistence of radically incommensurable forms of life in the absence of any coordinating principle. We nonetheless take issue with Nancy’s prescription for democracy to remain devoid of any political affirmation of its own. Instead, we suggest that the prescriptive content of democracy consists in the affirmation of the contingency of all the forms of life that coexist in it, which implies their freedom, equality, and comm... (shrink)

Tracing how the logic of inoperativity works in the domains of language, law, history and humanity, 'Agamben and Politics' systematically introduces the fundamental concepts of Agamben's political thought and a critically interprets his insights in the wider context of contemporary philosophy.

We define a realizability interpretation of Aczel's Constructive Set Theory CZF into Explicit Mathematics. The final results are that CZF extended by Mahlo principles is realizable in corresponding extensions of T 0 , thus providing relative lower bounds for the proof-theoretic strength of the latter.

The book represents a comprehensive account of the principles of the philosophy of the pseudoabsolute and is intended for readers interested in the issues of theoretical philosophy. It is also meant for a wide range of readers interested in the relative and absolute nature of human mentality.

We study unification problem and problem of admissibility for inference rules in minimal Johanssonsʼ logic J and positive intuitionistic logic IPC+. This paper proves that the problem of admissibility for inference rules with coefficients is decidable for the paraconsistent minimal Johanssonsʼ logic J and the positive intuitionistic logic IPC+. Using obtained technique we show also that the unification problem for these logics is also decidable: we offer algorithms which compute complete sets of unifiers for any unifiable formula. Checking just unifiability (...) of formulas with coefficients also works via verification of admissibility. (shrink)

The publication of The Use of Bodies, the final volume in Giorgio Agamben’s Homo Sacer series, makes it possible to take stock of Agamben’s project as a whole. Having started with a powerful critique of the biopolitical sovereignty as the essence of modern politics, Agamben concludes his project with an affirmative vision of inoperative politics of form-of-life, in which life is not negated or sacrificed to the privileged form it must attain, but rather remains inseparable from the form that does (...) nothing but express it. The article begins by reconstituting the non-relational logic that Agamben develops in order to render inoperative the existing apparatuses of ontology, ethics and politics. We then address the dimension of lifestyle as a new key domain of Agamben’s work, in which biopolitics may be recast in an affirmative key of form-of-life. While Agamben is better known for sceptical and scornful statements about contemporary liberal democracies, we shall argue that his affirmative biopolitics, characterized by destituent power, resonates with Claude Lefort’s understanding of democracy as structured around the ontological void and epistemic indeterminacy. In the conclusion we question the viability of this biopolitical democracy, focusing on Agamben’s example of the Nocturnal Council in Plato’s Laws. (shrink)

This article examines a still contentious question: how conservative and liberal elements are combined in Boris N. Chicherin’s worldview and political doctrine. It considers several points of view...